Incremental Materialization Update via Abstraction Refinement

نویسندگان

  • Markus Brenner
  • Birte Glimm
چکیده

ion Refinement Markus Brenner and Birte Glimm University of Ulm, Germany, [email protected] Abstract. Abstraction refinement is a recently introduced technique Abstraction refinement is a recently introduced technique which allows for reducing materialization of an ontology with a large ABox to materialization of a smaller (compressed) ‘abstraction’ of this ontology. In this paper, we show how abstraction refinement can be adopted for incremental ABox materialization by combining it with the well-known DRed algorithm for materialization maintenance. Similarly to reasoning using abstraction refinement, we can perform computationally expensive operations such as overdeletion on smaller, disconnected abstractions instead of operating on a large ABox. We also show that the obtained procedure is sound and complete for Horn ALCHI ontologies.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ontology Materialization by Abstraction Refinement in Horn SHOIF

Abstraction refinement is a recently introduced technique which allows for reducing materialization of an ontology with a large ABox to materialization of a smaller (compressed) ‘abstraction’ of this ontology. Although this approach is sound for the very expressive language SROIQ, so far it was proved to be complete only for Horn ALCHOI ontologies. In this paper we propose an extension of this ...

متن کامل

Scalable Reasoning by Abstraction Beyond DL-Lite

Recently, it has been shown that ontologies with large datasets can be efficiently materialized by a so-called abstraction refinement technique. The technique consists of the abstraction phase, which partitions individuals into equivalence classes, and the refinement phase, which re-partitions individuals based on entailments for the representative individual of each equivalence class. In this ...

متن کامل

Abstraction Refinement for Ontology Materialization Technical Report

ion Refinement for Ontology Materialization Technical Report Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, and Vincent Vialard 1 University of Ulm, Ulm, Germany, [email protected] 2 derivo GmbH, Ulm, Germany, @derivo.de Abstract. We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in whi...

متن کامل

Scalable Reasoning by Abstraction in DL-Lite

The DL-Lite family are description logics specifically designed for ontology-based data access (OBDA). In this setting, an ontology with background knowlege (a TBox) can be seen as a conceptual view over data repositories (ABoxes), and data can be accessed via query answering services. Common techniques for query answering in DL-Lite are (pure) rewriting and combined approaches. In the rewritin...

متن کامل

Abstraction Refinement for Ontology Materialization

ion Refinement for Ontology Materialization Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, and Vincent Vialard 1 University of Ulm, Ulm, Germany, [email protected] 2 derivo GmbH, Ulm, Germany, @derivo.de Abstract. We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in which reasoning over...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017